1 Remote Memory Access Programming in MPI-3 Torsten Hoefler, ETH Zurich James Dinan, Intel Corporation Rajeev Thakur, Argonne National Laboratory Brian Barrett, Sandia National Laboratories

Source URL: htor.inf.ethz.ch

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Transaction processing
• Computer memory
• Application programming interfaces
• Programming paradigms
• Message Passing Interface
• Partitioned global address space
• Synchronization
• Consistency model

Automatic Proofs and Counterexamples With Applications to Short Single Axioms William McCune Mathematics and Computer Science Division Argonne National Laboratory

Source URL: www.cs.unm.edu

Uncovering Spoken Phrases in Encrypted Voice over IP Conversations CHARLES V. WRIGHT MIT Lincoln Laboratory LUCAS BALLARD Google Inc.

Source URL: www.scottcoull.com

• Computing
• Linguistics
• Network architecture
• Computational linguistics
• Automatic identification and data capture
• Computer accessibility
• Speech recognition
• Voice over IP
• BaumWelch algorithm
• Phoneme
• Transmission Control Protocol

A birthday present every eleven wallets? The security of customer-chosen banking PINs Joseph Bonneau, S¨oren Preibusch, Ross Anderson Computer Laboratory University of Cambridge {jcb82,sdp36,rja14}@cl.cam.ac.uk

Source URL: www.jbonneau.com

Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer and Carl H. Hauser Computer Science Laboratory Xerox

Source URL: css.csail.mit.edu

Grant to Send: Fairness and Isolation in Low-Power Wireless Technical Report SINGJung Il Choi and Philip Levis Computer Systems Laboratory Stanford University

Source URL: sing.stanford.edu

• Computing
• Network architecture
• OSI protocols
• Wireless networking
• Network performance
• Throughput
• Packet loss
• Hidden node problem
• Transmission Control Protocol
• Transport layer
• Data link layer
• IEEE 802.15.4

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: cs.ioc.ee

Hey! Presto: Edge-based Load Balancing for Fast Datacenter Networks Jon Crowcroft The Computer Laboratory, University of Cambridge Cambridge, UK

Source URL: conferences.sigcomm.org

The topology of covert conflict Shishir Nagaraja, Ross Anderson Computer Laboratory JJ Thomson Avenue, Cambridge CB3 0FD, UK forename.surname @ cl.cam.ac.uk

Source URL: www.econinfosec.org

Computational challenges in experimental mathematics David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis

Source URL: www.davidhbailey.com